3f754fa894d26f2d3f12a859c10c89af8fefd496,tests/it.xsemantics.dsl.tests/xsemantics-gen/it/xsemantics/test/fj/first/FjFirstTypeSystem.java,FjFirstTypeSystem,applyRuleCheckMethod,#RuleEnvironment#RuleApplicationTrace#Method#,1468

Before Change


  }
  
  protected Result<Boolean> applyRuleCheckMethod(final RuleEnvironment G, final RuleApplicationTrace _trace_, final Method method) throws RuleFailedException {
    it.xsemantics.example.fj.fj.Class _containerOfType = EcoreUtil2.<it.xsemantics.example.fj.fj.Class>getContainerOfType(method, it.xsemantics.example.fj.fj.Class.class);
    final ClassType typeForThis = this.fjTypeUtils.createClassType(_containerOfType);
    Type bodyType = null;
    /* G, 'this' <- typeForThis |- method.body.expression : bodyType */
    MethodBody _body = method.getBody();

After Change


  }
  
  protected Result<Boolean> applyRuleCheckMethod(final RuleEnvironment G, final RuleApplicationTrace _trace_, final Method method) throws RuleFailedException {
    final ClassType typeForThis = this.fjTypeUtils.createClassType(
      EcoreUtil2.<it.xsemantics.example.fj.fj.Class>getContainerOfType(method, it.xsemantics.example.fj.fj.Class.class));
    Type bodyType = null;
    /* G, 'this' <- typeForThis |- method.body.expression : bodyType */
    Expression _expression = method.getBody().getExpression();